&, &:backdrop { color: gtkalpha(currentColor, 0.3); }
+ padding: 0;
margin-top: 8px;
margin-bottom: 8px;
// FIXME: generalize .small-button?
notebook > header tab button.flat, notebook > header tab button.sidebar-button, notebook > header tab headerbar button.titlebutton, headerbar notebook > header tab button.titlebutton,
notebook > header tab .titlebar button.titlebutton,
.titlebar notebook > header tab button.titlebutton {
+ padding: 0;
margin-top: 8px;
margin-bottom: 8px;
min-width: 18px;
notebook > header tab button.flat, notebook > header tab button.sidebar-button, notebook > header tab headerbar button.titlebutton, headerbar notebook > header tab button.titlebutton,
notebook > header tab .titlebar button.titlebutton,
.titlebar notebook > header tab button.titlebutton {
+ padding: 0;
margin-top: 8px;
margin-bottom: 8px;
min-width: 18px;